Atari Mega Archive 1/Atari Mega Archive - Volume 1.iso/archiver/arcgsh41.zoo/arcgsh_d.tex/labels.pl

Text File | 1992-01-17 | 2KB | 70 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/Arcgsh_ist_Shareware/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Aufruf_der_Archivierer/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Aufruf_von_File-Menue-Funktionen_ueber_Tastaturkuerzel/;
$external_labels{$key} = "$URL/" . q|node10_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Aufruf_weiterer_Programme/;
$external_labels{$key} = "$URL/" . q|node46_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Compress/;
$external_labels{$key} = "$URL/" . q|node38_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Der_Dateiauswahlmanager/;
$external_labels{$key} = "$URL/" . q|node47_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Der_benutzerdefinierte_Editor/;
$external_labels{$key} = "$URL/" . q|node45_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Der_benutzerdefinierte_Pager/;
$external_labels{$key} = "$URL/" . q|node44_ct.html|;
$noresave{$key} = "$nosave";

$key = q/LHarc/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Options-Menue/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Parameteruebergabe_an_gerufene_Programme/;
$external_labels{$key} = "$URL/" . q|node48_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Tar/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Uud_und_uue/;
$external_labels{$key} = "$URL/" . q|node41_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Zoo/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;